prettyref.dtx

---